sbrml datatypes improved #37