added list for return types for numerical operators and started on constraint generation of multiplication