Fixed the type signatures on some TagSet functions.
Implemented tagl and untagl operators.
Implemented the nullable<'T> type abbreviation.