added some constant mutations
added skeleton for compilation option, and fixed a bug with get_containing_expression_type