Remove aastep from specification and compiler

Missing aastep was reported to me as a bug, it compiles ok but the implementation does not exist.

I don't know if we actually want to do this, or if the solution is to implement this function. The fact that no one has noticed this up to now maybe indicates that it's very important to have this.