+ comments with type information for stack variables