Implement lexing of identifiers

Also add Booleans and message passing interface.