added type for linear types and the ! syntax for unsetting a variable