- Fixed a bug concerning pushing types on the stack