Start designing code stack type checking
First attempt at padding support