SMT-based type checking improvements and small updates to SDL