Simple Addition - Ada Typing CST Test